Mobile Objects as Mobile Processes
نویسندگان
چکیده
منابع مشابه
Mobile Objects as Mobile Processes
Obliq is a lexically-scoped, distributed, object-based programming language. In Obliq, the migration of an object is proposed as creating a clone of the object at the target site, whereafter the original object is turned into an alias for the clone. Obliq has only an informal semantics, so there is no proof that this style of migration is safe, i.e., transparent to object clients. In previous w...
متن کاملObjects as Mobile Processes
The object calculus of Abadi and Cardelli [AC96, AC94b, AC94a] is intended as model of central aspects of object-oriented programming languages. In this paper we encode the object calculus in the asynchronous π-calculus without matching and investigate the properties of our encoding.
متن کاملImperative objects and mobile processes
An interpretation of Abadi and Cardelli’s first-order Imperative Object Calculus into a typed π-calculus is presented. The interpretation validates the subtyping relation and the typing judgements of the Object Calculus, and is computationally adequate. The proof of computational adequacy makes use of (a π-calculus version) of ready simulation, and of a factorisation of the interpretation into ...
متن کاملOn the Interaction between Mobile Processes and Objects
Java's remote method invocation mechanism provides a number of features that extend the functionality of traditional client/server-based distributed systems. However, there are a number of characteristics of the language that in uence its utility as a vehicle in which to express lightweight mobile processes. Among these are its highly imperative sequential core, the close coupling of control an...
متن کاملCoordination Among Mobile Objects
When designing distributed object based systems one is often faced with the problem of modeling the movement of objects from site to site in a dis tributed network In order to model such an activity some supervising or coordination mechanisms are needed to insure correctness of both movement and communication in the network In this paper we propose distributed object based action systems as a b...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2002
ISSN: 0890-5401
DOI: 10.1006/inco.2002.3172